술어 논리

"오늘의AI위키"는 AI 기술로 일관성 있고 체계적인 최신 지식을 제공하는 혁신 플랫폼입니다.
"오늘의AI위키"의 AI를 통해 더욱 풍부하고 폭넓은 지식 경험을 누리세요.

1. 개요
2. 명제 논리와의 차이
- 2.1. 지식 표현의 일반화
- 2.2. 한정 기호
참조

1. 개요

술어 논리는 명제 내부 구조를 분석하여 지식 표현의 일반화를 가능하게 하는 논리 체계이다. 명제 논리의 한계를 극복하기 위해, 명제를 술어와 객체로 분리하여 '술어(객체)' 형태로 표현한다. 술어 논리는 '존재 기호'와 '전칭 기호'를 포함하는 한정 기호를 사용하여 변수를 포함하는 명제를 표현하며, 이를 통해 다양한 명제 간의 관계를 명확하게 나타낼 수 있다.

더 읽어볼만한 페이지

술어 논리 - 양화
양화는 논리학과 수학에서 명제의 범위를 지정하는 개념으로, '모든', '어떤'과 같은 의미를 나타내며, 전칭 양화자 '∀'와 존재 양화자 '∃' 등의 기호로 표현된다.
술어 논리 - 존재 양화사
존재 양화사는 형식 논리에서 특정 조건을 만족하는 대상이 존재함을 나타내는 방법으로, 수리 논리학에서는 기호 " $\exists$ "를 사용하여 변수가 특정 집합에 속하면서 주어진 조건을 만족하는 원소가 적어도 하나 존재함을 나타내며, 존재 일반화, 존재 제거 등의 추론 규칙과 관련이 있고, 담화 영역에 따라 진술의 참과 거짓이 달라질 수 있으며, 존재 양화된 명제 함수의 부정은 해당 명제 함수의 부정의 전칭 양화와 논리적으로 동치이다.

술어 논리
지도
개요
영어	predicate logic
다른 명칭	술어 미적분 양화 논리
관련 분야	수리 논리학 철학 컴퓨터 과학
특징
구성 요소	술어 양화사 변수 논리 연결사
주요 목표	명제 간의 논리적 관계 분석
형식 체계	공리계 추론 규칙
확장	다중 정렬 논리
역사적 배경
발전	조지 불과 고틀로프 프레게의 연구에서 발전
영향	수리 기초론 인공지능
철학적 의미
서술의 논리	서술의 논리와 구분
니시다 기타로	철학 용어 "서술의 논리"에 영향

2. 명제 논리와의 차이

명제논리는 명제를 가장 작은 단위로 다루기 때문에 명제 내부의 구조를 분석할 수 없다. 반면, 술어 논리는 명제를 술어와 객체로 분리하여 분석한다. 예를 들어, "소크라테스는 사람이다"와 "플라톤은 사람이다"라는 두 명제는 명제 논리에서는 서로 관련 없는 별개의 사실로 취급되지만, 술어 논리에서는 '사람이다'라는 술어와 '소크라테스', '플라톤'이라는 객체로 분리하여 이들 사이의 공통점을 파악할 수 있다. 이를 통해 술어 논리는 명제 논리보다 더 일반화된 지식 표현을 가능하게 한다.

2. 1. 지식 표현의 일반화

명제논리에서는 명제가 최소 단위이므로 명제의 내부 구조에 대한 분석은 이루어질 수 없다. 예를 들어,

'소크라테스는 사람이다.'
'플라톤은 사람이다.'

라는 두 명제는 완전히 별개의 사실이며, 이로부터 '소크라테스'와 '플라톤'이 모두 사람이라는 유사점을 발견할 수 없다. 즉, 명제 논리는 지식 표현을 일반화할 수 없다. 따라서,

'모든 사람은 죽는다.'

라는 명제를 추가할 때, 이 세 명제로부터 소크라테스와 플라톤은 죽는다는 사실을 유도해 낼 수 없게 되는 것이다.

술어 논리는 명제 논리의 이러한 문제를 해결할 수 있다. 술어 논리는 하나의 명제를 술어와 그 술어의 수식을 받는 객체로 분리하여 '술어(객체)'의 형태로 표현한다. 예를 들면 앞의 세 명제는 다음과 같이 술어 논리식으로 표현될 수 있다.

소크라테스는 사람이다: Man(SOCRATES)
플라톤은 사람이다: Man(PLATON)
모든 사람은 죽는다: ∀x{Man(x)→Die(x)}

여기서 Man은 '사람이다'라는 술어에 해당되고, SOCRATES와 PLATON은 각각 '소크라테스'와 '플라톤'을 나타내는 객체가 된다. 이때 SOCRATES와 PLATON은 모두 Man이라는 공통된 술어의 수식을 받고 있다. Man(SOCRATES), Man(PLATON)이 모두 참이라면 ∀x{Man(x)→Die(x)}에 의해 Die(SOCRATES)와 Die(PLATON)이 모두 참이라는 사실을 유도해 낼 수 있다.

2. 2. 한정 기호

술어 논리에서는 변수(

x

)가 나타내는 객체의 집합

D

를 정의역(domain)이라 한다. 이 정의역 내에서 '한국인'인

x

만을 지정하는 기호로 '

\exists

'와 '

\forall

'를 사용할 수 있다. '

\exists x

'는 '적어도 어느 하나의

x

가 존재함'을 나타내며 '존재기호'라 부른다. '

\forall x

'는 '모든

x

에 대하여'라는 의미로 사용되며 '전칭기호'라 부른다.

'

\exists

'와 '

\forall

'를 총칭하여 '한정기호'라 하며 한정기호를 포함하고 있는 논리식에 대해서는 다음의 등식이 성립한다.

$\neg (\exists x)P(x) \equiv (\forall x)\left \{ \neg P(x) \right \}$
$\neg (\forall x)P(x) \equiv (\exists x)\left \{ \neg P(x) \right \}$
$(\forall x)\left \{ P(x) \land Q(x)\right \} \equiv (\forall x)P(x) \land (\forall x)Q(x)$
$(\exists x)\left \{ P(x) \lor Q(x)\right \} \equiv (\exists x)P(x) \lor (\exists x)Q(x)$
$(\forall x)P(x) \equiv (\forall y)P(y)$
$(\exists x)P(x) \equiv (\exists y)P(y)$

참조

_[1] 논문 Semantics for Existential Graphs 1998-10
_[2] 용어 predicate calculus
_[3] 웹사이트 #Harv는 일반적으로 웹사이트 참조로 간주됩니다. 더 정확한 정보가 없으므로 웹사이트로 분류합니다. (제목 없음) # Harv 참조만으로 제목을 추출할 수 없습니다.

본 사이트는 AI가 위키백과와 뉴스 기사,정부 간행물,학술 논문등을 바탕으로 정보를 가공하여 제공하는 백과사전형 서비스입니다.
모든 문서는 AI에 의해 자동 생성되며, CC BY-SA 4.0 라이선스에 따라 이용할 수 있습니다.
하지만, 위키백과나 뉴스 기사 자체에 오류, 부정확한 정보, 또는 가짜 뉴스가 포함될 수 있으며, AI는 이러한 내용을 완벽하게 걸러내지 못할 수 있습니다.
따라서 제공되는 정보에 일부 오류나 편향이 있을 수 있으므로, 중요한 정보는 반드시 다른 출처를 통해 교차 검증하시기 바랍니다.

문의하기 : help@durumis.com